A Characterisation of Lambda Definability with Sums Via TT-Closure Operators
نویسنده
چکیده
We give a new characterisation of morphisms that are definable by the interpretation of the simply typed lambda calculus with sums in any bi-Cartesian closed category. The ⊤⊤-closure operator will be used to construct the category in which the collection of definable morphisms at sum types can be characterised as the coproducts of such collections at lower types.
منابع مشابه
Lambda Definability with Sums via Grothendieck Logical Relations
We introduce a notion of Grothendieck logical relation and use it to characterise the deenability of morphisms in stable bicartesian closed categories by terms of the simply-typed lambda calculus with nite products and nite sums. Our techniques are based on concepts from topos theory, however our exposition is elementary.
متن کاملOn a functional equation for symmetric linear operators on $C^{*}$ algebras
Let $A$ be a $C^{*}$ algebra, $T: Arightarrow A$ be a linear map which satisfies the functional equation $T(x)T(y)=T^{2}(xy),;;T(x^{*})=T(x)^{*} $. We prove that under each of the following conditions, $T$ must be the trivial map $T(x)=lambda x$ for some $lambda in mathbb{R}$: i) $A$ is a simple $C^{*}$-algebra. ii) $A$ is unital with trivial center and has a faithful trace such ...
متن کاملFrom torsion theories to closure operators and factorization systems
Torsion theories are here extended to categories equipped with an ideal of 'null morphisms', or equivalently a full subcategory of 'null objects'. Instances of this extension include closure operators viewed as generalised torsion theories in a 'category of pairs', and factorization systems viewed as torsion theories in a category of morphisms. The first point has essentially been treated in [15].
متن کاملIntertvining. Operators
In this thesis we study operators, and spaces of operators on a Hubert space defined by intertwining relations. The classical Hankel operators are those operators which intertwine the unilateral shift and its adjoint. We consider generalised Hankel operators relative to shifts and relative to families of shifts and give generalisations of the classical theorems of Nehari and Hartman. In contras...
متن کاملThe Sums and Products of Commuting AC-Operators
Abstract: In this paper, we exhibit new conditions for the sum of two commuting AC-operators to be again an AC-operator. In particular, this is satisfied on Hilbert space when one of them is a scalar-type spectral operator.
متن کامل